structure FileExtra = struct
    fun read file =
        let
            val inStream = TextIO.openIn file
        in
            (* TextIO.inputAll returns a TextIO.vector, which is a string. *)
            TextIO.inputAll inStream
        end;
end;
